A Spurious Confusion in Temporal Logic
نویسنده
چکیده
R.L. Epstein and E. Buitrago-Díaz aspire to present a vitally new approach to temporal logic, an approach based on the idea of absolute truth-values. They claim the existing approaches are confused and incoherent, and contain a significant number of nonsenses. The alleged problems are generated by truth-values being relativized to positions in time. The fundamental incoherence consists in some confusion between propositions and their schemata. Epstein and Buitrago-Díaz have formulas be simply true or false and describe fixed areas of time. I endeavour to show that all objections Epstein and Buitrago-Díaz raise to existing temporal logic are misunderstandings. The calculus they present is easily reconstructable in existing calculi, so there is no new approach here. However, the calculus is correct and may be of some interest in logic.
منابع مشابه
A CTL-Based Logic for Program Abstractions
We define an action-based extension of the branching-time temporal logic CTL which allows path quantifiers to be restricted by formal languages. The main purpose of this logic is its use in abstract interpretation. A reduction from a concrete system to an abstract one may contain spurious traces which can render the verification of the abstract system useless with respect to the concrete one. W...
متن کاملDrought monitoring in Ardabil province by means of SEPI fuzzy index developed based on the fuzzy logic
Drought defined as a climatic phenomenon with the humidity and rainfall shortage as compared with normal conditions. This phenomenon affects on all of aspects of human activities, severely. while, studies associated with this phenomenon on the basis of appropriate methods are very low. In the present study, effort has been made to analyze the drought state in Ardabil province by means of...
متن کاملDecidable Properties of Tree Languages
The first part of the thesis concerns problems related to the question: " when can a regular tree language be defined in first-order logic? " Characterizations in terms of automata of first-order logic and the related chain logic are presented. A decidable property of tree automata called confusion is introduced; it is conjectured that a regular tree language can be defined in chain logic if an...
متن کاملNumerical Analysis of Stability for Temporal Bright Solitons in a PT-Symmetric NLDC
PT-Symmetry is one of the interesting topics in quantum mechanics and optics. One of the demonstration of PT-Symmetric effects in optics is appeared in the nonlinear directional coupler (NLDC). In the paper we numerically investigate the stability of temporal bright solitons propagate in a PT-Symmetric NLDC by considering gain in bar and loss in cross. By using the analytical solutions of pertu...
متن کاملEffect of Relative Phase on the Stability of Temporal Bright Solitons in a PT- Symmetric NLDC
In this paper we numerically investigate the effect of relative phase on thestability of temporal bright solitons in a Nano PT- Symmetric nonlinear directionalcoupler (NLDC) by considering gain in bar and loss in cross. We also study the effect ofrelative phase on the output perturbed bright solitons energies, in the range of 0 to 180 . By using perturbation theory three eigenfunctions an...
متن کامل